Compilation thesis